Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
61	A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-12 17:56:59 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Models of computation Logic in computer science Substitution Structure Model theory Parity of a permutation
62	Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-11-27 11:35:14 Logic Mathematical logic Mathematics Model theory Logic in computer science Lambda calculus Models of computation Type theory Combinatory logic Theorem Structure Interpretation
63	STRC 11th Swiss Transport Research Conference Monte Verità / Ascona, May 7–9 2011 Add to Reading List Source URL: www.strc.ch Language: English - Date: 2011-05-06 03:57:40 Multi-agent systems Simulation software Simulation Complex systems theory Models of computation Agent-based model UrbanSim MATSim Traffic simulation Scientific modelling Microsimulation Macroeconomic model
64	An Agent-Based Simulation Model of Swiss Travel: First Results Bryan Raney, Dept. of Computer Science, ETH Zurich ¨ Kai Nagel, Dept. of Computer Science, ETH Zurich ¨ Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-01-15 17:00:53 Transport Transportation planning Business Economy Complex systems theory Simulation Models of computation Multi-agent systems Traffic simulation Transportation forecasting Transims Route assignment
65	XML plans file Agent Database Agent Agent Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-01-15 15:40:28 Transport Transportation planning Multi-agent systems Transims Complex systems theory Models of computation Scientific modeling Agent-based model Traffic simulation Traffic congestion Simulation Transportation forecasting
66	First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Model checking First-order logic Mathematical logic Logic in computer science Formal methods Theory of computation
67	Actor Model of Computation: Scalable Robust Information Systems Carl Hewitt This article is dedicated to Alonzo Church and Dana Scott. The Actor Model is a mathematical theory that treats “Actors” as the universal pr Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-01-21 20:15:12
68	Property Testing: A Learning Theory Perspective Dana Ron∗ School of EE Tel-Aviv University Ramat Aviv, Israel Add to Reading List Source URL: www.eng.tau.ac.il Language: English - Date: 2009-05-02 11:33:29 Machine learning Computational complexity theory Theoretical computer science Applied mathematics Learning Models of computation Property testing Decision tree model Sample complexity PP Probability distribution Time complexity
69	J. Symbolic Computation, 351–369 Lattices of Compatibly Embedded Finite Fields† WIEB BOSMA‡, JOHN CANNON§ AND ALLAN STEEL¶ Computational Algebra Group, School of Mathematics and Statistics, The Univers Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-01-31 05:32:49 Field theory Polynomials Computer algebra Finite fields Abstract algebra Conway polynomial Field Minimal polynomial Embedding Model theory Factorization of polynomials Duality

UPDATE